Pipes and Filters: Modelling a Software Architecture Through Relations
نویسنده
چکیده
A pipeline is a popular architecture which connects computational components (filters) through connectors (pipes) so that computations are performed in a stream like fashion. The data are transported through the pipes between filters, gradually transforming inputs to outputs. This kind of stream processing has been made popular through UNIX pipes that serially connect independent components for performing a sequence of tasks. We show in this paper how to formalize this architecture in terms of monads, hereby including relational specifications as special cases. The system is given through a directed acyclic graph the nodes of which carry the computational structure by being labelled with morphisms from the monad, and the edges provide the data for these operations. It is shown how fundamental compositional operations like combining pipes and filters, and refining a system by replacing simple parts through more elaborate ones, are supported through this construction.
منابع مشابه
Reliability Analysis of Pipe and Filter Architecture Style
Architecture–based reliability analysis is necessary for a software application that is developed using the component–based software development paradigm. Prevalent architecture–based analysis techniques represent the application architecture by a Markov process, which may be adequate in the context of an application with a general– purpose architecture. The Markov process, however, is not adeq...
متن کاملکاربرد سفالهای سنتی به عنوان صافی در تصفیه آب اجتماعات کوچک
There is a need for simple and inexpensive water supply systems in small communities, mainly because of high costs and water resource shortages. Ceramic filters used as a Point-of-Use (POU) system could serve as a safe and inexpensive means for supplying water. In this research we looked at the possibility of using Iranian traditional ceramics as filters for drinking water, bearing in mind the ...
متن کاملSoftware Architecture for Computer Vision: Beyond Pipes and Filters
This document highlights and addresses architecture level software development issues facing researchers and practitioners in the field of Computer Vision. A new framework, or architectural style, called SAI, is introduced. It provides a formalism for the design, implementation and analysis of software systems that perform distributed parallel processing of generic data streams. Architectural p...
متن کاملChichen-Itza II: a Semantic Framework for Verification and Learning of Pipes and Filters architectural pattern
In software engineering, verification of architectural designs is a task that requires a very high level of abstraction. In companies, verification techniques for architectural designs are difficult to integrate into the standard software development process because it requires specialized expertise in an application domain. This paper describes a semantic framework for verifying models and how...
متن کاملToward a Generic and Concurrency-Aware Pipes & Filters Framework
The Pipes-and-Filters design pattern is a well-known pattern to organize and execute components with sequential dependencies. The pattern is therefore often used to perform several tasks consecutively on large data streams, e.g., during image processing or dynamic analyses. In contrast to the pattern’s familiarity and application, almost each common programming language lacks of flexible, featu...
متن کامل